textview: Use device timestamps for obscured cursors
authorMatthias Clasen <mclasen@redhat.com>
Fri, 26 Mar 2021 02:42:10 +0000 (22:42 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 26 Mar 2021 14:30:33 +0000 (10:30 -0400)
commit019855a27f14cc195b485ab8d5a0c4a880f3bae0
tree7ae568caf1c735d081b61af1c318e7b5fc83fdf1
parentcdfdf031b5c9e677976488a12206562a0788fffd
textview: Use device timestamps for obscured cursors

Stash away the device timestamp when obscuring
the pointer, and compare it when we decice whether
to unobscure it. This fixes a problem where synthetic
motion events would make the cursor reappear
prematurely.

Fixes: #3792
gtk/gtktextview.c